Python:type hints